数学的ソフトウェアを考える② やわらかいソフトとかたいソフト